81. Proof theory
پدیدآورنده: Takeuti, Gaisi, 1926-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Proof theory
رده :
QA
9
.
54
.
T34
1975
82. Proof theory; An introduction
پدیدآورنده: Pohlers, Wolfram
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Prooftheory
رده :
511
P748p
83. Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
پدیدآورنده: edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
L4
1990
84. Proof theory & philosophy
پدیدآورنده: Restall , Greg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Proof theory ► Proof theory -- Philosophy
رده :
511
R436p
85. Proof theory: an introduction
پدیدآورنده: Pohlers, Wolfram.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory
رده :
QA
3
.
L28
no
.
1407
86. Proof theory :an introduction
پدیدآورنده: Pohlers, Wolfram.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Proof theory
رده :
QA3
.
L28
no
.
1407
87. Proof theory and algebra in logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory. ;
88. Proof theory and automated deduction
پدیدآورنده: Goubault-Larrecq, Jean
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Proof theory , Automatic theorem proving
رده :
QA
9
.
54
.
G68
1997
89. Proof theory and automated deduction
پدیدآورنده: by Jean Goubault-Larrecq and Ian Mackie
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Automatic theorem proving
رده :
QA
9
.
54
.
G68
90. Proof theory and automated deduction
پدیدآورنده: Goubault-Larrecq, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory,، Automatic theorem proving
رده :
QA
9
.
54
.
G68
1997
92. Proof theory and automated deduction
پدیدآورنده: / by Jean Goubault-Larrecq and Ian Mackie
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Proof theory,Automatic theorem proving
رده :
QA9
.
54
.
G68
1997
93. Proof theory and intuitionistic systems
پدیدآورنده: Scarpellini, Bruno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
94. Proof theory and intuitionistic systems
پدیدآورنده : / [by] Bruno Scarpellini
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
95. Proof theory and intuitionistic systems
پدیدآورنده: Bruno Scarpellini
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
Vol
.
212
96. Proof theory and intuitionistic systems
پدیدآورنده: Scarpellini, Bruno.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Intuitionistic mathematics,، Proof theory
رده :
QA
1
.
L4
v
.
212
97. Proof theory and intuitionistic systems
پدیدآورنده: Scarpellini, Bruno
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Intuitionistic mathematics►Proof theory
رده :
QA
3
.
L28
,
no
.
212
98. Proof theory and intuitionistic systems
پدیدآورنده: / Bruno Scarpellini
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Intuitionistic mathematics,Proof theory
رده :
QA
9
.
S3
1971
99. Proof theory and intuitionistic systems
پدیدآورنده: Scarpellini, Bruno
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Intuitionistic mathematics ► Proof theory
رده :
511
S286p
100. Proof theory and intuitionistic systems
پدیدآورنده: / Bruno Scarpellini
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Intuitionistic mathematics,Proof theory
رده :
510
.
8
L471
No
.
212
